Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
461	QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC Konstantine Arkoudas, Selmer Bringsjord Departments of Cognitive and Computer Science, RPI, Troy, NY, USA [removed], [removed] Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-06 02:48:10 Philosophical logic Model theory Deduction Symbol Entailment Structure Interpretation If and only if Modal logic Logic Metalogic Binary operations
462	Dynamic Proof Theories For Reasoning With Conditionals Christian Straßer and Mathieu Beirlaen and Frederik Van De Putte Centre for Logic and Philosophy of Science Ghent University, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-29 05:24:27 Conditionals Modal logic Deontic logic Logical connectives Philosophical logic Material conditional Strict conditional Logic Mathematical logic Propositional calculus
463	Background Description Logic Systems U S C Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 17:41:43 Health Mononegavirales Philosophy of mathematics Philosophical logic Rabies Is-a Modal logic Description logic Classifier Logic Science Non-classical logic
464	Validity in a Modal Procedural Semantics Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-10-21 12:17:12 Proof theory Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Entailment Ordinal number Logic Mathematical logic Mathematics
465	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:25 Theoretical computer science Model theory Models of computation Admissible rule Modal logic Lambda calculus Symbol Unification Support Mathematical logic Mathematics Logic
466	Procedural Semantics for a Modal Type System Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-07-22 05:24:16 Logic Proof theory Programming language semantics Curry–Howard correspondence Philosophy of computer science Type theory Operational semantics Programming language Interpretation Theoretical computer science Logic in computer science Mathematical logic
467	Propositional Logic Extended With A Pedagogically Useful Relevant Implication∗ Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-05-06 17:32:48 Non-classical logic Logical consequence Paraconsistent logic Natural deduction Relevance logic Entailment Paradoxes of material implication Material conditional Modal logic Logic Philosophical logic Propositional calculus
468	Siteimprove CSR REPORT[removed] Add to Reading List Source URL: siteimprove.dk Language: English - Date: 2014-06-02 10:54:26 Corporate social responsibility Modal logic Screen reader Web Accessibility Initiative Web accessibility initiatives in the Philippines Web accessibility Design Accessibility
469	A Case Study in Verication Based on Trace Abstractions Nils Klarlund? Mogens Nielsen Kim Sunesen BRICS?? Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:48:07 Formal languages Semantics Non-classical logic First-order logic Interpretation Well-formed formula Temporal logic Modal logic Second-order logic Logic Mathematical logic Model theory
470	A Longitudinal/Cross-Sectional Study of the Impact of Mathematics in Context on Student Mathematical Performance Student Attitude Inventory (Working Paper #7) Mary C. Shafer, Lesley R. Wagner, and Jon Davis Add to Reading List Source URL: micimpact.wceruw.org Language: English - Date: 2005-03-29 15:10:49 Mathematics Modal logic XTR

UPDATE